if $a$$<$$b$ then $c$ else $d$ \textbf{is Primitive}